https://ogma.newcastle.edu.au/vital/access/ /manager/Index ${session.getAttribute("locale")} 5 Clique-width is NP-complete https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:6974 Sat 24 Mar 2018 10:46:35 AEDT ]]> Clique width minimization is NP-hard https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:2778 Sat 24 Mar 2018 08:32:55 AEDT ]]> On finding short resolution refutations and small unsatisfiable subsets https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:9924 Sat 24 Mar 2018 08:14:19 AEDT ]]> Editing graphs to satisfy degree constraints: a parameterized approach https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:22255 Sat 24 Mar 2018 07:17:34 AEDT ]]>